index(dE;dL;pred?;info;p;r)
== mu(i.eqof(dE)(r,receives(dE;dL;pred?;info;p;sender(r);link(r))[i])) 

latex

---

clarification:

index(dE;dL;pred?;info;p;r)
== mu(i.eqof(dE)(r,receives(dE;dL;pred?;info;p;sender(info;r);link(info;r))[i])) 

latex

Definitions	index(dE;dL;pred?;info;p;r), mu(f), eqof(d), l[i], receives(dE;dL;pred?;info;p;e;l), sender(e), link(e)
FDL editor aliases	index